Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

FORMES project member Jean-Pierre Jouannaud organized jointly with Pr Ming Gu the LIAMA-Tsinghua Software Day, where the following scientists reported on their research:

• Pr Edmund Clarke, from Carnegie Mellon.

• Erik Hagersten from University of Uppsala.

• Marc Pouzet from University Pierre et Marie Curie.

Internships

• Jiaxiang Liu

  • Subject: Diagramatic Confluence,

  • Date: from Jul 2013 to Dec 2013,

  • Institution: Ecole Polytechnique

• Antoine Rouquette

  • Subject: Upgrade of SimSoC simulator,

  • Date: from September 2012 to August 2013,

  • Institution: Shenzhen Institutes of Advanced Technology

• Shenpeng Wang

  • Subject: Approximately Timed Simulation of PowerPC e200z,

  • Date: from March 2012 to May 2013,

  • Institutions: Tsinghua University and Shenzhen Institutes of Advanced Technology